Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 2.Ident. | Authors (with country if any) | Title |
---|---|---|
006B45 | Miquel Bofill [Espagne] ; Albert Rubio [Espagne] | Redundancy Notions for Paramodulation with Non-monotonic Orderings |
009E62 | Miquel Bofill [Espagne] ; Guillem Godoy [Espagne] ; Robert Nieuwenhuis [Espagne] ; Albert Rubio [Espagne] | Modular Redundancy for Theorem Proving |
This area was generated with Dilib version V0.6.33. |